1. A manual of intensional logic
پدیدآورنده : Benthem, Johan F. A. K. van, 9491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic
رده :
P
25
.
C28
No
.
1
2. Handbook of Logic and Language
پدیدآورنده : / van Benthem, Johan F.A.K.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
3. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده : Benthem, Johan F. A. K. van, 9491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
رده :
P
39
.
B46
4. Modal logic and classical logic
پدیدآورنده : Benthem, Johan F. A. K. van, 9491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Modality )Logic(,، Logic
رده :
BC
199
.
M6B46
1985
5. The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse
پدیدآورنده : Benthem, Johan F. A. K. van, 9491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Time,، Ontology,، Grammar, Comparative and general -- Tense,، Tense )Logic(
رده :
BC
199
.
T4B46
1991
